%% This document created by Scientific Word (R) Version 3.0

\documentclass[a4paper,twoside]{book}
\usepackage[latin1]{inputenc}
\usepackage[spanish]{babel}
\usepackage{amsmath}
\usepackage{latexsym}
\usepackage{graphicx}
\usepackage{amsfonts}
\usepackage{amssymb}
%TCIDATA{OutputFilter=latex2.dll}
%TCIDATA{CSTFile=book.cst}
%TCIDATA{LastRevised=Tue Jan 18 19:53:07 2000}
%TCIDATA{<META NAME="GraphicsSave" CONTENT="32">}
\setlength{\oddsidemargin}{0.cm}
\setlength{\evensidemargin}{0.cm}
\setlength{\textwidth}{13.cm}
\setlength{\textheight}{16.cm}
\setlength{\parskip}{0.15cm}
\setlength{\parindent}{0.pt}
\newenvironment{linea}{
\begin{picture}(300,10)
\line(300,0){350}
\end{picture}}{ }
\newenvironment{Ej E/S}
               {\setlength{\parskip}{0.0cm}}
               {\endlist}
\newenvironment{Lista letras}
               {\list{\alph{letra}.}{
                        \usecounter{letra}
                        \itemsep     0.0cm
                        \itemindent   0.0cm
                        \listparindent 0.0cm
                        \itemindent 0.0cm
                        \rightmargin  0.5cm
                        \leftmargin 1.0cm
                        \labelwidth 0.5cm
                        \parsep 0.0cm
                        \topsep 0.0cm
                        \parskip 0.0cm}}
               {\endlist}
\newenvironment{Programa}
               {\ttfamily\small\list{\arabic{conta}.}{\usecounter{conta}
                        \itemsep     0.0cm
                        \itemindent   0.0cm
                        \listparindent 0.0cm
                        \itemindent 0.0cm
                        \rightmargin  0.7cm
                        \leftmargin 1.0cm
                        \labelwidth 0.5cm
                        \parsep 0.0cm
                        \topsep 0.0cm
                        \parskip 0.0cm}}
               {\endlist}
\newenvironment{Programa-cuadro}
               {\begin{lrbox}{\savepar}
                \begin{minipage}[b]{13.cm}
                \ttfamily\list{\arabic{conta}.}{\usecounter{conta}
                        \itemsep     0.0cm
                        \itemindent   0.0cm
                        \listparindent 0.0cm
                        \itemindent 0.0cm
                        \rightmargin  0.7cm
                        \leftmargin 1.0cm
                        \labelwidth 0.5cm
                        \parsep 0.0cm
                        \topsep 0.0cm
                        \parskip 0.0cm}}
               {\endlist\end{minipage}\end{lrbox}\fbox{\usebox{\savepar}}}
\newenvironment{Lista guiones}{
     \begin{list}{-}{
     \setlength{\leftmargin}{0.5cm}
     \setlength{\labelwidth}{0.5cm}
     \setlength{\parsep}{0.pt}
     \setlength{\topsep}{0.0cm}
     \setlength{\parsep}{0.pt}
     \setlength{\itemsep}{0.pt}
     \setlength{\parskip}{0.pt}}
   }
   {\end{list}}
\newsavebox{\savepar}
\newenvironment{recuadro}{
\begin{lrbox}{\savepar}
\begin{minipage}[b]{13.cm}
}
{\end{minipage}\end{lrbox}\fbox{\usebox{\savepar}}}
\newenvironment{Solucion}{\newline \Large {\textbf {SOLUCI\'ON}}}{ }
\newcommand{\enunciado}{\Large{\textbf{ENUNCIADO}}}

\begin{document}
\newcounter{conta} \newcounter{letra} \setcounter{letra}{1}

{\Large {\textbf{ENUNCIADO}} }

La siguiente gram\'{a}tica:

\qquad\qquad%
\begin{tabular}
[c]{lll}%
\textit{prog} & $\rightarrow$ & \textbf{INI }\textit{sent} \textbf{END
}$\mathbf{\$}$\\
\textit{sent} & $\rightarrow$ & \textbf{UNA ;} \textit{sent}\\
&
%TCIMACRO{\TEXTsymbol{\vert}}%
%BeginExpansion
$\vert$%
%EndExpansion
& \textbf{INI} \textit{sent} \textbf{END;} \textit{sent}\\
&
%TCIMACRO{\TEXTsymbol{\vert}}%
%BeginExpansion
$\vert$%
%EndExpansion
& $\mathit{\varepsilon}$%
\end{tabular}

\begin{Lista letras}
\item \textquestiondown Admite un an\'{a}lisis del tipo LR(0)?
\textquestiondown Y del tipo SLR(1)? En caso afirmativo, construir las
correspondientes tablas de an\'{a}lisis (acciones y transiciones).

\item  Utilizando las tablas construidas, mostrar c\'{o}mo ser\'{i}a el
an\'{a}lisis, especificando en cada paso el contenido de la pila y la
acci\'{o}n correspondiente, de la siguiente sent (los espacios en blanco son irrelevantes):
\end{Lista letras}

\begin{Ej E/S}
\qquad\qquad\qquad INI UNA ; UNA ; end \$
\end{Ej E/S}

{\Large {\textbf{SOLUCI\'{O}N}} }

\begin{Lista letras}
\item  No admite un an\'{a}lisis del tipo LR(0) porque en algunos de los
conjuntos de items calculados utilizando la funci\'{o}n de transici\'{o}n
entre estados y s\'{i}mbolos, aparecen tanto items completos como items que no
son completos. S\'{i} admite un an\'{a}lisis del tipo SLR(1).
\end{Lista letras}

Conjuntos de items:

\qquad I$_{0}$=\{[prog$\rightarrow$$\cdot$ INIsentEND\$]\}

\qquad I$_{1}$=\{[prog$\rightarrow$INI$\cdot$sentEND\$], [sent$\rightarrow
$$\cdot$ UNA;sent], [sent$\rightarrow$$\cdot$INIsentEND;sent],

\qquad\qquad\lbrack sent$\rightarrow$$\cdot$]\}

\qquad I$_{2}$=\{prog$\rightarrow$INIsentEND$\cdot$\$]\}

\qquad I$_{3}$=\{[sent$\rightarrow$UNA$\cdot$;sent]\}

\qquad I$_{4}$=\{[sent$\rightarrow$INI$\cdot$sentEND;sent], [sent$\rightarrow
$$\cdot$UNA;sent], [sent$\rightarrow$$\cdot$INIsentEND;sent],

\qquad\qquad\lbrack sent$\rightarrow$$\cdot$]\}

\qquad I$_{5}$=\{[prog$\rightarrow$INIsentEND$\cdot$\$]\}

\qquad I$_{6}$=\{[sent$\rightarrow$UNA;$\cdot$sent], [sent$\rightarrow$$\cdot
$UNA;sent], [sent$\rightarrow$$\cdot$INIsentEND;sent], [sent$\rightarrow
$$\cdot$]\}

\qquad I$_{7}$=\{[sent$\rightarrow$INIsent$\cdot$END;sent]\}

\qquad I$_{8}$=\{[prog$\rightarrow$INIsentEND\$$\cdot$]\}

\qquad I$_{9}$=\{[sent$\rightarrow$UNA;sent$\cdot$]\}

\qquad I$_{10}$=\{[sent$\rightarrow$INIsentEND$\cdot$;sent]\}

\qquad I$_{11}$=\{[sent$\rightarrow$INIsentEND;$\cdot$sent], [sent$\rightarrow
$$\cdot$UNA;sent], [sent$\rightarrow$$\cdot$INIsentEND;sent],

\qquad\qquad\lbrack sent$\rightarrow$$\cdot$]\}

\qquad I$_{12}$=\{sent$\rightarrow$INIsentEND;sent$\cdot$]\}

Tabla de acciones/transiciones (E:error, D:desplazar/Transici\'{o}n,
Rn\'{u}mero: reducir por regla n\'{u}mero,A:aceptar).

\begin{center}%
\begin{tabular}
[c]{|c|c|c|c|c|c|c|c|}\hline
& INI & END & UNA & ; & \$ & prog & sent\\\hline
0 & D/1 &  &  &  &  &  & \\\hline
1 & D/4 & R4 & D/3 &  &  &  & 2\\\hline
2 &  & D &  &  &  &  & \\\hline
3 &  &  &  & D/6 &  &  & \\\hline
4 & D/4 & R4 & D/3 &  &  &  & 7\\\hline
5 &  &  &  &  & D/8 &  & \\\hline
6 & D/4 & R4 & D/3 &  &  &  & 9\\\hline
7 &  & D &  &  &  &  & \\\hline
8 &  &  &  &  & A &  & \\\hline
9 &  & R2 &  &  &  &  & \\\hline
10 &  &  &  & D/11 &  &  & \\\hline
11 & D/4 & R4 & D/3 &  &  &  & 12\\\hline
12 &  & R3 &  &  &  &  & \\\hline
\end{tabular}
\end{center}

\begin{Lista letras}
\item [b.]Reconocimiento de la cadena: INI UNA ; UNA ; end \$
\end{Lista letras}%

\begin{tabular}
[c]{p{2.2in}p{1.8in}p{0.3in}}%
Pila & Entrada & Acci\'{o}n
\end{tabular}

\begin{linea}
\end{linea}%

\begin{tabular}
[c]{p{2.2in}p{1.8in}p{0.3in}}%
0 & INI UNA ; UNA ; END \$ & D
\end{tabular}%

\begin{tabular}
[c]{p{2.2in}p{1.8in}p{0.3in}}%
0 INI 1 & UNA ; UNA ; END \$ & D
\end{tabular}%

\begin{tabular}
[c]{p{2.2in}p{1.8in}p{0.3in}}%
0 INI 1 UNA 3 & ; UNA ; END \$ & D
\end{tabular}%

\begin{tabular}
[c]{p{2.2in}p{1.8in}p{0.3in}}%
0 INI 1 UNA 3 ; 6 & UNA ; END \$ & D
\end{tabular}%

\begin{tabular}
[c]{p{2.2in}p{1.8in}p{0.3in}}%
0 INI 1 UNA 3 ; 6 UNA 3 & ; END \$ & D
\end{tabular}%

\begin{tabular}
[c]{p{2.2in}p{1.8in}p{0.3in}}%
0 INI 1 UNA 3 ; 6 UNA 3 ; 6 & END \$ & R4
\end{tabular}%

\begin{tabular}
[c]{p{2.2in}p{1.8in}p{0.3in}}%
0 INI 1 UNA 3 ; 6 UNA 3 ; 6 sent 9 & END \$ & R2
\end{tabular}%

\begin{tabular}
[c]{p{2.2in}p{1.8in}p{0.3in}}%
0 INI 1 UNA 3 ; 6 sent 9 & END \$ & R2
\end{tabular}%

\begin{tabular}
[c]{p{2.2in}p{1.8in}p{0.3in}}%
0 INI 1 sent 2 & END\$ & D
\end{tabular}%

\begin{tabular}
[c]{p{2.2in}p{1.8in}p{0.3in}}%
0 INI 1 sent 2 END 5 & \$ & D
\end{tabular}%

\begin{tabular}
[c]{p{2.2in}p{1.8in}p{0.3in}}%
0 INI 1 sent 2 END 5 \$ 8 & - & Aceptar
\end{tabular}
\end{document}
